calculus of natural deduction
[数] 自然推理演算
热门查询
- recording n. 录音；唱片 v. 录音；记录；录像（record的ing形式） adj. 记录的；记录用的
- headland n. 岬 n. (Headland)人名；(英)黑德兰
- TC abbr. 技术委员会（Technical Committee）；油槽车（Tank Car）；温度系数（Temperature Coefficient）
- purported adj. 传说的 v. 声称（purport的过去分词）；意图
- midmorning n. 上午中段时间；上午十点左右 adj. 发生在上午中段时间的；上午10时左右的；与上午中段时间有关的
- hatchback n. 有仓门式后背的汽车 adj. （汽车）斜背式的
- ere prep. 在…以前；毋宁 conj. 在…以前；毋宁
- sportscar n. 跑车; 运动车; 比赛用车
- humidify vt. 使潮湿；使湿润
- rehydrated 再水化（rehydrate的过去式和过去分词） 补充水分（rehydrate的过去式和过去分词）
- jailing n. 监狱；监牢；拘留所 vt. 监禁；下狱 n. (Jail)人名；(英)杰尔
- Bactrian n. 大夏人；大夏语 adj. 大夏的；大夏人的
- Mineworkers n. = miner
- prosecutable [法] 可提起公诉的
- millpond n. 用水池；水车用贮水池
- kolkhoz n. 苏联的集体农庄
- Hodges [人名] [英格兰人姓氏] 霍奇斯取自父名，来源于Hodge,含义是“霍奇之子”(son of Hodge); [地名] [美国] 霍奇斯
- provincialism n. 方言；地方风格；乡下习气
- papillary adj. 乳突的；乳头状突起的
- thalamus n. [解剖] 丘脑；花托
考试词汇表
- shell type attemperator
- shell type construction
- shell-destroying device
- shell-destroying tracer
- shell-side condensation
- shell-to-shell distance
- shelled frozen mudsnail
- shellside pressure drop
- sheltered accommodation
- shelterwood utilization
- shengma gegen decoction
- shepherd's check effect
- shepherd's weatherglass
- sheriff's picture frame
- shevtchenkella osmantha
- shewanella putrefaciens
- shexiang qutong aerosol
- shield back,shield-back
- shield contact coupling
- shield fern,shield-fern
